1. Generalized quantifiers and computation
پدیدآورنده : Jouko Väänänen (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.
2. )Lambda(-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975
پدیدآورنده : IAC-CNR, Istituto per le applicazioni del calcolo Mauro Picone of the Consiglio nazionale delle ricerche ; edited by C. Bohm
موضوع : Congresses ، Combinatory logic,Congresses ، Programming languages )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Language, logic, and computation :
پدیدآورنده : Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational linguistics, Congresses.,Computer logic, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Computational linguistics.,Computer logic.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
9
.
L63
4. Logic, language, and computation
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer logic ; Congresses. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computational linguistics ; Congresses. ;
5. Logic, language, and computation :
پدیدآورنده : Nick Bezhanishvili [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational linguistics, Congresses,Computer logic, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
رده :
QA76
.
9
.
L63
I57
2009eb
6. Logic, language, and computation
پدیدآورنده : \ [edited by] Martin Aher...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer logic -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Computational linguistics -- Congresses.,منطق کامپیوتری -- کنگره ها,زبانهای برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,زبان‌شناسی کامپیوتری -- کنگره ها
رده :
QA
75
.
5
.
L644
2015
E-Book
,
7. Logic program synthesis and transformation - meta-programming in logic :
پدیدآورنده : Laurent Fribourg, Franco Turini (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.
8. Natural language understanding and logic programming, II
پدیدآورنده : / edited by Veronica Dahl and Patrick Saint-Dizier
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Programming languages (Electronic computers)- Semantics- Congresses,Logic programming- Congresses
رده :
QA76
.
7
.
I578
1987
9. Natural language understanding and logic programming, II. : Proceedings of the...17-19 Aug., 1987
پدیدآورنده : edited by Veronica Dahl and Patrick Saint-Dizier
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Logic programming
رده :
QA
76
.
63
.
I58
1987
10. Programming language implementation and logic programming :
پدیدآورنده : P. Deransart, J. Małuszyński, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic programming, Congresses.,Programming languages (Electronic computers), Congresses.
رده :
QA76
.
7
.
I59
1990
11. Programming language implementation and logic programming : International Workshop PLILP'90, Linkنping, Sweden, August 20-22, 1990 : proceedings
پدیدآورنده : P. Deransart, J. Maluszynski, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
456
12. Programming language implementation and logic programming : proceedings
پدیدآورنده : International Workshop PLILP '09 )0991: Linkoping, Sweden(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Congresses,، Logic programming-- Congresses
رده :
QA
76
.
7
.
I59
1990
13. Programming language implementation and logic programming : 3rd International Symposium, PLILP'91, Passau,Germany, August 26-28, 1991 :proceedings
پدیدآورنده : J. Maluszynski, M. Wirsing, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
528
14. Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Congresses,، Logic programming-- Congresses
رده :
QA
76
.
7
.
I5773
1991
15. Programming language implementation and logic programming : 4th International Symposium, Leuven, Belgium, 1992 : proceedings
پدیدآورنده : M. Bruynooghe, M. Wirsing )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
631
16. Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings
پدیدآورنده : International Symposium, PLILP '29 )4th: 2991: Leuven, Belgium(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Congresses,، Logic programming-- Congresses
رده :
QA
76
.
7
.
I5773
1992
17. Programming language implementation and logic programming : 6th International Symposium, PLILP'94, Madrid, Spain, September 14 - 16, 1994 : proceedings
پدیدآورنده : Manuel Hermenegildo, Jaan Penjam )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
844
18. Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 1993 : proceedings
پدیدآورنده : International Symposium, PLILP '39 )5th: 3991: Tallinn, Estonia(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Congresses,، Logic programming-- Congresses
رده :
QA
76
.
7
.
I5773
1993
19. Programming language implementation and logic programming : 5th International Symposium, PLILP'93, Tallinn, Estonia, August 1993 : proceedings
پدیدآورنده : Maurice Bruynooghe, Jaan Penjam, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
714
20. Programming languages implementation and logic programming
پدیدآورنده : International Workshop PLILP '88 )8891: Orleans, France(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Congresses,، Logic programming-- Congresses
رده :
QA
76
.
7
.
I59
1988
